Concept-Controlled Polymorphism

نویسندگان

  • Jaakko Järvi
  • Jeremiah Willcock
  • Andrew Lumsdaine
چکیده

Concepts—sets of abstractions related by common requirements— have a central role in generic programming. This paper proposes a general framework for using concepts to control polymorphism in different ways. First, concepts can be used to constrain parametric polymorphism, as exemplified by type classes in Haskell. Second, concepts can be used to provide fine-grained control of function and operator overloading. Finally, generic functions can be overloaded (specialized) based on concepts, rather than simply on types. We describe a C++ implementation of a new mechanism, which we call enable_if, and its role in concept-controlled polymorphism.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Amiloride, a specific drug for hypertension in black people with T594M variant?

The T594M polymorphism of the epithelial sodium channel is found in approximately 5% of people of African origin and is significantly associated with high blood pressure. Although the T594M polymorphism could increase renal sodium absorption through affected channels, it is not known whether this polymorphism causes hypertension. Amiloride specifically inhibits overactive sodium channels and ef...

متن کامل

Optimal control of linear fuzzy time-variant controlled systems

In this paper, we study linear fuzzy time-variant optimal control systems using the generalized differentiability concept and we present the general form of optimal controls and states. Some examples are provided to illustrate our results.

متن کامل

ارتباط پلی‌مرفیسم‌های اینترلوکین 4 (T 589C-) و اینترفرون گاما (T 874A+) با بیماری آسم

Background and Objective: Asthma is a common respiratory disease caused by acute and chronic bronchial inflammation. Clinical manifestations of the disease are closely related to genetics. IL-4 is a cytokine of TH2 lymphocytes, polymorphism in prompter region, C-589T, is associated with IL-4 production, while IFN-γ, is a cytokine of TH1, and A+874T polymorphism in interon 1 of IFN-γ is associat...

متن کامل

بررسی ارتباط پلی‌مورفیسم (rs1800872A/C) ژن اینترلوکین 10 با ابتلا به عفونت مزمن هپاتیت B

Background and Aim: Cytokines are believed to play an important role in the regulation of cellular immune response in hepatitis B virus infection. Interleukin 10 is a member of cytokine family. The overall expression of these molecules is mainly controlled by single nucleotide polymorphisms at specific sites on the promoter region of the Interleukin 10 gene. The aim of this study was to a...

متن کامل

Association study between (rs1799750) polymorphism and periodontal by Tetra arms-PCR

Background and Aims: Periodontitis is one of the most common causes of damage to the gums and retaining structures of the teeth. Matrix protein, a metalloproteinase, is known as intermediate collagenase and the enzyme collagenase fibroblast, which is encoded in humans by the MMP-1 gene. The aim of this study was to investigate 1G/2G polymorphism in the MMP-1 gene and its association with the pe...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2003